#include <board_cfg.h> 
#include <speed.h>
#include <irq_s3c24x0.h>

#if 0
int timer_load_val = 0;
static ulong timestamp;
static ulong lastdec;
#endif

void init_clocks(void)
{
#if 0
	S3C24X0_TIMERS * const timers = S3C24X0_GetBase_TIMERS();

	/* use PWM Timer 4 because it has no output */
	/* prescaler for Timer 4 is 16 */
	timers->TCFG0 = 0x0f00;

	timer_load_val = get_PCLK()/(2 * 16 * 100);

	/* load value for 10 ms timeout */
	lastdec = timers->TCNTB4 = timer_load_val;
	/* auto load, manual update of Timer 4 */
	timers->TCON = (timers->TCON & ~0x0700000) | 0x600000;
	/* auto load, start Timer 4 */
	timers->TCON = (timers->TCON & ~0x0700000) | 0x500000;
	timestamp = 0;
#endif
	enable_s3c24x0_interrupts(S3C24X0_INTERRUPT_TIMER4);
}
